Localic metric spaces and the localic Gelfand duality
نویسندگان
چکیده
منابع مشابه
Localic Completion of Generalized Metric Spaces I
Following Lawvere, a generalized metric space (gms) is a set X equipped with a metric map from X to the interval of upper reals (approximated from above but not from below) from 0 to ∞ inclusive, and satisfying the zero self-distance law and the triangle inequality. We describe a completion of gms’s by Cauchy filters of formal balls. In terms of Lawvere’s approach using categories enriched over...
متن کاملLocalic completion of generalized metric spaces II: Powerlocales
The work investigates the powerlocales (lower, upper, Vietoris) of localic completions of generalized metric spaces. The main result is that all three are localic completions of generalized metric powerspaces, on the Kuratowski finite powerset. Applications: (1) A localic completion is always open, and is compact iff its generalized metric space is totally bounded. (2) The Heine-Borel Theorem i...
متن کاملLocalic Completion of Quasimetric Spaces
We give a constructive localic account of the completion of quasimetric spaces. In the context of Lawvere’s approach, using enriched categories, the points of the completion are flat left modules over the quasimetric space. The completion is a triquotient surjective image of a space of Cauchy sequences and can also be embedded in a continuous dcpo, the “ball domain”. Various examples and constr...
متن کاملLocalic completion of uniform spaces
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a generalised metric on X is a map from X ×X to the upper reals satisfying zero self-distance law and triangle inequality. For a symmetric generalised uniform...
متن کاملLocalic Databases
1.2. Morphisms between locales. We introduced the above ideas using a map of simplicial sets f : X → Y , but in actuality the definitions of F∗ and F∗ work whenever F is a open morphism of locales, as we shall soon see. To get to that point, however, it is best to start all over, by taking X and Y to be arbitrary locales and considering an arbitrary adjunction f∗ : Y //X : f∗ oo as a morphism F...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2016
ISSN: 0001-8708
DOI: 10.1016/j.aim.2016.03.006